properties of definite integral